
extern void ReplaceFiles(void);
